:: Monad m => _ -package:QuickCheck package:constraints